Algebraic logic - PDFSEARCH.IO - Document Search Engine

Algebraic logic
Results: 422

#	Item
41	Notre Dame Journal of Formal Logic Volume 50, Number 1, 2009 Factorization of the Shoenfield-like Bounded Functional Interpretation Jaime Gaspar Add to Reading List Source URL: jg.sdf.org Language: English - Date: 2016-05-02 10:01:00 Mathematics Mathematical logic Logic Logic in computer science Constructible universe Peano axioms Factorization Algebraic logic Dialectica interpretation Combinatory logic
42	An Abstract Algebraic Logic view on Judgment Aggregation? Mar´ıa Esteban1 , Alessandra Palmigiano2,3 , and Zhiguang Zhao2 1 2 Add to Reading List Source URL: www.appliedlogictudelft.nl Language: English - Date: 2015-08-19 07:08:34
43	The logic of quasi true Antonio Di Nola1 , Revaz Grigolia2 and Giacomo Lenzi1 1 2 Add to Reading List Source URL: logica.dmi.unisa.it Language: English - Date: 2015-05-18 15:13:07 Algebra Mathematical logic Mathematics Algebraic logic Fuzzy logic MV-algebra Many-valued logic Constructible universe Lie algebras Boolean algebra Ordinal number CurryHoward correspondence
44	Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic Minghui Ma1 , Alessandra Palmigiano2 , and Mehrnoosh Sadrzadeh3 1 2 Add to Reading List Source URL: www.appliedlogictudelft.nl Language: English - Date: 2014-05-03 04:30:14
45	Aristotle, Boole, and Categories Vaughan Pratt October 12, 2015 Abstract We propose new axiomatizations of the 24 assertoric syllogisms of Arisn totle’s syllogistic, and the 22 n-ary operations of Boole’s algebraic l Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2015-10-12 12:39:56 Logic Classical logic Arguments Term logic Syllogism Rules of inference Propositional calculus Axiom Hypothetical syllogism Disjunctive syllogism Inference First-order logic
46	Programmatic and Direct Manipulation, Together at Last Ravi Chugh Brian Hempel Mitchell Spradlin Add to Reading List Source URL: arxiv.org Language: English - Date: 2015-11-24 00:09:02 Mathematics Algebraic logic Boolean algebra Function Equation solving Expected value Parameter Equation
47	Uniform Interpolation and Compact Congruences Samuel J. van Gool1 , George Metcalfe2 , and Constantine Tsinakis3 1 Department of Mathematics, University of Milan Add to Reading List Source URL: logica.dmi.unisa.it Language: English - Date: 2015-05-24 12:54:29 Algebra Mathematics Abstract algebra Algebraic logic Lattice theory Algebraic structures Fuzzy logic Adjoint functors Boolean algebra Heyting algebra Universal property MV-algebra
48	Sunday, 21 9:00-10:00 10:00-10:30 10:30-10:55 10:55-11:20 11:20-11:45 Add to Reading List Source URL: logica.dmi.unisa.it Language: English - Date: 2015-06-18 11:41:28 Logic Mathematics Algebra Fuzzy logic Non-classical logic Lattice theory Mathematical logic Algebraic logic Monoidal t-norm logic BL Residuated lattice MV-algebra
49	Modular Interpreted Systems Wojciech Jamroga Thomas Ågotnes Department of Informatics Add to Reading List Source URL: folk.uib.no Language: English - Date: 2007-06-04 16:55:34 Mathematics Measurement Academia Artificial intelligence Formal epistemology Modal logic Algebraic geometry Q0 Symbol Epistemic modal logic Centimetregramsecond system of units Valuation
50	Programming with Algebraic Effects and Handlers Andrej Bauer Matija Pretnar Add to Reading List Source URL: math.andrej.com Language: English - Date: 2012-03-08 07:36:33 Software engineering Computer programming Theoretical computer science Symbol Logic in computer science Valuation Denotational semantics Monad Table of stars with Bayer designations